随着当代数理逻辑的兴起，有关个体词逻辑地位的问题在形式记法的显微镜下被无限放大。对于罗素等人来说，这个问题表现为下面这种悖论：如果承认个体词指称了个体对象，那么个体词就不必然是命题的逻辑主语，因为不仅未做出实际指称的空名和虚构名称能够成为命题主语，部分通名也能够成为命题主语；如果承认个体词的逻辑主词地位，就必须承认它们未必指称了对象（考虑空名和虚构名词），从而造成命题真值无法得到保障。